\asegura{result == \comp{x}{ x \selec hs,(\forall y \selec hs,x \neq y) cantacc(as,x) \geqslant cantacc(as,y)}}
% Los asegura van entre llaves
% en vez de \leftarrow se usa \selec y en vez de \neq se usa \neg
% fijate cómo se arman las listas por comprensión
\aux{cantacc}{as:[Accesorio], h:Habitacion}{\ent}{|\comp{x}{x \selec as, x \in accesorios(h)}|}
